Proposition of completeness property to perform the plant modelling for manufacturing applications

Research dealing with control behavior determination often needs plant modelling to use formal methods. However, plant models are difficult to obtain because a manufacturing application is composed of a huge set of components with numerous interactions each other. The goal of this paper is to propose and demonstrate a property to improve the designer’s confidence in his plant model. The property is used a posteriori from plant model design. The completeness property tests whether a plant model is able to respond to specification solicitations. The application on several examples shows the usefulness of the verification in the context of independence of the plant model according to control behavior. Property can be used before control synthesis application design to determine if a plant model is able to respond to all control changes.